DUGi: Llistar Títols | (dc.creator:"Baumgartner, Alexander" OR dc.contributor:"Baumgartner, Alexander" OR dc.contributor.other:"Baumgartner, Alexander")

Llistar Títols

S'han trobat 6 ítems

Llistant ítems des de 0 a 6:

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	5 juny 2018	Higher-Order Pattern Anti-Unification in Linear Time	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	1 febrer 2017	Higher-Order Pattern Anti-Unification in Linear Time	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	2013	A Variant of Higher-Order Anti-Unification	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		A Variant of Higher-Order Anti-Unification	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		A Variant of Higher-Order Anti-Unification	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	5 juny 2018	A Variant of Higher-Order Anti-Unification	Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu